Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
411	2013 NDIA GROUND VEHICLE SYSTEMS ENGINEERING AND TECHNOLOGY SYMPOSIUM SYSTEMS ENGINEERING (SE) MINI-SYMPOSIUM AUGUST 21-22, 2013 – TROY, MICHIGAN TAILORING OF FAILURE MODE AND EFFECTS ANALYSIS (FMEA) TO DOD SYSTEMS AND Add to Reading List Source URL: www.ndia-mich.org Language: English - Date: 2013-08-19 10:09:30 Reliability engineering Systems engineering Failure Quality Maintenance Failure mode and effects analysis Failure mode effects and criticality analysis Risk management Failure cause Eight Disciplines Problem Solving Process decision program chart
412	Geography and Computational Science Marc P. Armstrong Department of Geography and Graduate Program in the Applied Mathematical and Computational Sciences, University of Iowa O Add to Reading List Source URL: www.geog.ucsb.edu Language: English - Date: 2005-02-02 12:56:33 Parallel computing Cartography Geographic data and information Concurrent computing Geography Spatial analysis Computational science Distributed computing Geospatial analysis Computational engineering Geographic information system Supercomputer
413	Department of Defense Contractors in Afghanistan and Iraq: Background and Analysis Add to Reading List Source URL: www.fas.org Language: English - Date: 2014-05-06 14:00:45 Military-industrial complex Government procurement in the United States United States administrative law Private military company Academi Department of Defense Whistleblower Program Military budget of the United States
414	The 2010 Military Communications Conference - Unclassified Program - Waveforms and Signal Processing Track Physical Layer Considerations for Wideband Cognitive Radio Joel Goodman, Benjamin A. Miller, James Vian, Andrew Add to Reading List Source URL: acsweb.ucsd.edu Language: English - Date: 2014-02-18 12:32:37 Functional analysis Dynamical systems Mathematical series Volterra series Multidimensional Digital Pre-distortion Modulation Quadrature amplitude modulation Frequency modulation Amplifier Linearization Nonlinear system Control theory
415	Buy/by the Book or Bye-Bye the Game A talk for LangSec Workshop, 2016 M. Douglas McIlroy Dartmouth College Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-06 19:03:35 Software testing Software development process Extreme programming Econometrics Statistical methods Regression testing Regression analysis Unix Program analysis Computing Code coverage Analysis
416	ONET Data Collection Program: Office of Management and Budget Clearance Package Supporting Statement, Part A: Justification Add to Reading List Source URL: www.onetcenter.org Language: English* - Date: 2015-12-16 01:52:04 Human resource management Industrial and organizational psychology Dictionary of Occupational Titles Job analysis Occupational Information Network Standard Occupational Classification System Individual psychological assessment
417	SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Abstract interpretation Software testing AbsInt Fluctuat Astre Formal methods Radhia Cousot Static program analysis Patrick Cousot Formal verification Simulink Polyspace
418	Interdisciplinary CODATA Workshop on RISK Models and Applications, Berlin, Germany, August 26/27, 2010 Program Thursday, August 26, 2010 Add to Reading List Source URL: www.codata-germany.org Language: English - Date: 2010-08-24 09:08:22 Risk Actuarial science Security Hazard analysis Risk management Social vulnerability Committee on Data for Science and Technology Vulnerability assessment Hazard
419	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org Language: English - Date: 2014-07-12 00:42:10 International Conference on Logic Programming Symposium on Principles of Programming Languages ICLP Association for Computing Machinery Logic programming Logic Prolog
420	Job Hazard Analysis OSHARevised) Job Hazard Analysis U.S. Department of Labor Add to Reading List Source URL: alabamasafestate.ua.edu Language: English - Date: 2014-02-26 09:50:10 Occupational safety and health Safety engineering Industrial hygiene Hazard analysis Occupational Safety and Health Administration European Agency for Safety and Health at Work Voluntary Protection Program Hierarchy of hazard control Occupational hazard Hazard Effective safety training Right to know

UPDATE